<html>
<body>
将 Java 记录压缩构造函数转换为显式规范构造函数。
<!-- tooltip end -->
</body>
</html>